Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6)

نویسندگان

  • Atsushi Igarashi
  • Peter Thiemann
  • Philip Wadler
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • NII Shonan Meet. Rep.

دوره 2014  شماره 

صفحات  -

تاریخ انتشار 2014